/
  • Search Results for 'Overviewcasestudyinspecifyingandtesting(i.e.debugging)apieceofsmartcardossoftwarethatprovidestransactionsusingtheformalspecicationlanguagejmlusingtheruntimeassertioncheckingtoolforjmlerikpoll'